The dot syntax language-building program shown below will process the various edge attributes automatically to emphasize the linkages and create the graph we defined loosely. 下面所示的dot语法语言构建程序将自动处理不同的边属性,从而强调链接并创建定义宽松的图形。
Syntax correctness is easy to verify, but structural correctness is difficult to verify. A structural conflict verification method of workflow mode based on graph reduction is introduced in this paper. 语法正确性比较易于证明,而结构正确性的证明则较难,本文采用了一种基于图归约法的工作流模型结构冲突验证方法,该方法可以检测出工作流模型中存在的各种结构冲突。